класс подстановок

См. также в других словарях:

• КОМБИНАТОРНЫЕ ЗАДАЧИ — класс и ческ незадачи выбора и расположения элементов конечного множества, имеющие в качестве исходной нек рую формулировку развлекательного содержания типа головоломок. Одной из классических К. з., фигурирующей еще в мифах Древнего Востока,… …   Математическая энциклопедия

• ЛУПА — квазигруппа с единицей, т. е. с таким элементом е, что хе=ех=х для любого элемента хиз квазигруппы. Значение Л. в теории квазигрупп определяется следующей теоремой: всякая квазигруппа изотопна (см. Изотония).нек рой Л. Поэтому одной из основных… …   Математическая энциклопедия

• МНОГОЗНАЧНАЯ ЛОГИКА — раздел математической логики, изучающий математич. модели логики высказываний. Эти модели отражают две основные черты последней множественность значений истинности высказываний и возможность построения новых более сложных высказываний из заданных …   Математическая энциклопедия

• КОМБИНАТОРНЫЙ АНАЛИЗ — комбинаторная математика, комбинаторика, раздел математики, посвященный решению задач выбора и расположения элементов нек рого, обычно конечного, множества в соответствии с заданными правилами. Каждое такое правило определяет способ построения… …   Математическая энциклопедия

• История математики — История науки …   Википедия

• Математика Древнего Востока — История науки По тематике Математика Естественные науки …   Википедия

• АЛГЕБРА — часть математики, посвященная изучению алгебраических операций. Исторический очерк. Простейшие алгебраич. операции арифметич. действия над натуральными и положительными рациональными числами встречаются в самых ранних математич. текстах,… …   Математическая энциклопедия

• ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… …   Философская энциклопедия

• АЛГЕБРА АБСТРАКТНАЯ — (общая алгебра), раздел современной математики, выросший из исследования уравнений и теории чисел. Свою теперешнюю форму абстрактная алгебра начала приобретать лишь в двадцатом веке. Занимается главным образом изучением систем, элементы которых… …   Энциклопедия Кольера

• семантика логическая —         СЕМАНТИКА ЛОГИЧЕСКАЯ раздел логической науки, в котором изучают отношения выражений языка к обозначаемым объектам и выражаемому содержанию. Если семантика как раздел семиотики имеет дело с общими аспектами интерпретации любого типа… …   Энциклопедия эпистемологии и философии науки

• ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность …   Философская энциклопедия